右全域的 (right-total)